10th International Conference on Automated Deduction electronic resource : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / edited by Mark E. Stickel

Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan